container.Mutable_Array2.index [ ]

type

integer, i1 I, i2 I)

[Abstract feature]

get element at given index i

Precondition

pre
  safety: 0 ≤ i1.as_i64 < length0
  safety: 0 ≤ i2.as_i64 < length1
  safety: is_accessible

Type Parameters

0.097dev (GIT hash 6a5de4939ddf29875c1d9a706508d9bfd0cd7ca9)

last changed: 2026-06-09